header bar: Use GdkEvent API
authorMatthias Clasen <mclasen@redhat.com>
Sat, 26 Aug 2017 14:55:16 +0000 (10:55 -0400)
committerCarlos Garnacho <carlosg@gnome.org>
Tue, 19 Sep 2017 16:39:03 +0000 (18:39 +0200)
commit67489349a5304edf0ca314b97b5b33bd7c6dcb2d
tree0ce845307a7d0496adc509b37cef07f0b6380d00
parent50701abcc30cd317a15e30e0c9ed65aeff402c98
header bar: Use GdkEvent API
gtk/gtkheaderbar.c